We present a new approach to the mathematical objects of General Relativity in terms of which a generic f(R)-gravity theory gravitation is written in a first-order (à la Palatini) formalism, and introduce the concept of Dark Metric which could bypass the emergence of disturbing concepts as Dark Energy and Dark Matter. These issues are related to the fact that General Relativity could not be the definitive theory of Gravitation due to several shortcomings that come out both from theoretical and experimental (...) viewpoints. At large scales, the attempts to match it with the recent observational data lead to invoke Dark Energy and Dark Matter as the bulk components of the cosmic fluid. Since no final evidence, at fundamental level, exists for such ingredients, it could be useful to reconsider the gravitational sector in order to see if suitable extensions of General Relativity could solve the shortcomings present at infrared scales. (shrink)

The balance between births and deaths in an age-structured population is strongly influenced by the spatial distribution of sub-populations. Our aim was to describe the demographic process of a fish population in an hierarchical dendritic river network, by taking into account the possible movements of individuals. We tried also to quantify the effect of river network changes (damming or channelling) on the global fish population dynamics. The Salmo trutta life pattern was taken as an example for.We proposed a model which (...) includes the demographic and the migration processes, considering migration fast compared to demography. The population was divided into three age-classes and subdivided into fifteen spatial patches, thus having 45 state variables. Both processes were described by means of constant transfer coefficients, so we were dealing with a linear system of difference equations. The discrete case of the variable aggregation method allowed the study of the system through the dominant elements of a much simpler linear system with only three global variables: the total number of individuals in each age-class. (shrink)

Este artigo é um diálogo com Hegel e Gadamer, partindo da pergunta: "O que é arte?''. Hegel é um divisor de águas; pode-se dizer que a arte antes de Hegel é uma coisa e depois de Hegel outra. Com Hegel diremos que a arte "morreu" ou foi supra assumida pelo espírito absoluto; se isso não significa morte, é, pelo menos, perda de identidade - de autonomia. Com Gadamer diremos que a arte é arte, sem estar dizendo uma tautologia; pois essa (...) seria a melhor forma de dizer que arte não tem conceito e nem depende de conceito para ser arte; a arte é enquanto tal, sem pendências e sem dependências. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

Este artigo é uma tentativa de mostrar, a partir de Gadamer, que o Mito está em estreita relação dialética com o Logos e que a compreensão de ambos pertence a um mesmo movimento circular e hermenêutico, que conecta os conceitos de indeterminado e determinada, incerto e certo, infinitude e finitude.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 849-1241 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 1242-1701 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 1702-2198 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

Demonstrates the validity of the measure presented in "Estimating Semantic Content" on textbook examples using (binary) resolution [a generalization of disjunctive syllogism] theorem proving; the measure is based on logical probability and is the mirror image of logical form; it dates to Popper.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 2199-2664 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 2665-3286 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.

A scholarly edition of The Clarendon Edition of the Works of John Locke: Correspondence: Letters 3287-3648 by E. S. de Beer. The edition presents an authoritative text, together with an introduction, commentary notes, and scholarly apparatus.